Preparing for the new C++11 standard

Preparing for the new millennium.

The world around us is changing and Environmental Health Perspectives (EHI7 continues to change with it. The past several years have seen a growing recognition of the connections between the environment and human health, as well as the globalization of environmental health problems. EHP has responded by expanding its own definition of environmental health to reflect those connections and to add...

Preparing for the costs of XR-29 a new standard for CT radiation dose monitoring.

A new standard for computed tomography (CT) scanners, established by the Medical Imaging and Technology Alliance, is aimed at ensuring CT studies are performed on safe equipment that delivers high-quality images at the lowest possible radiation dose to patients. Starting in January, the Centers for Medicare & Medicaid Services will implement a new payment incentive, authorized by Congress in 20...

New methods for preparing mercury-based ferrofluids

Preparing New World monkeys for laboratory research.

New World monkeys represent an important but often poorly understood research resource. The relatively small size and low zoonotic risk of these animals make them appealing as research subjects in a number of areas. However, historic portrayal of many of these species as difficult to manage and handle is one of the factors that has limited their use. Basic guidelines are provided on management ...

A Program Logic for C11 Memory Fences

We describe a simple, but powerful, program logic for reasoning about C11 relaxed accesses used in conjunction with release and acquire memory fences. Our logic, called fenced separation logic (FSL), extends relaxed separation logic with special modalities for describing state that has to be protected by memory fences. Like its precursor, FSL allows ownership transfer over synchronizations and ...